Versions and extensions of intuitionistic and modal logic involving biHeyting and bimodal operators, the axiom of constant domains and Barcan's formula, are formulated as structured categories. Representation theorems for the resulting concepts are proved. Essentially stronger versions, requiring new methods of proof, of known completeness theorems are consequences. A new type of completeness result, with a topos theoretic character, is given for theories satisfying a condition considered by Lawvere . The completeness theorems are used to conclude results asserting that certain (...) logics are conservatively interpretable in others. (shrink)

ABSTRACT Journalists often take themselves as having a moral duty to protect their sources. If the sources in question leak information from government departments, government ministers will consider themselves as having the moral right to demand that the journalists disclose the identity of those sources. This creates conflicts of value between what journalists and ministers consider to be right. It is argued not only that traditional moral theories cannot resolve such moral conflicts, but that they are in a sense a (...) good thing. A world in which the conflicts occur may be considered to be better than one in which they are prevented from occurring, for one can expect to have both effective journalism and effective government only in the former. The most important consequence of this view is that it makes the professional ethics of journalism into something more than the mere application of universal moral rules to the various situations in which those who work in the profession are liable to find themselves. (shrink)

A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.

When clinical services aspire to quality improvement, creative and innovative approaches to old problems are needed to drive such change. Whilst new ef orts should be applauded, information on this topic can be somewhat grey from an ethical and research point of view. Within the mental health profession there is currently an expectation to routinely evaluate care and disseminate i ndings. The notion of service enhancements under the guise of routine practice is an interesting and untested ethical issue. Should clinical (...) innovation continue to enjoy such impunity as patient autonomy is often compromised as they are often compelled to accept treatment under the coercion of mental health legislation? We believe that it should not. All involvement in any form of research is voluntary, thus patients should also have the right to decline participation in quality projects if they wish to do so. (shrink)